<html>
<head><meta charset="utf-8"><title>Looking to get involved · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html">Looking to get involved</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="219383567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219383567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Eric Schirtzinger <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219383567">(Dec 09 2020 at 19:12)</a>:</h4>
<p>I'm new to OSS, though I've followed Rust since 2014. Looking to finally get involved, I should have done so sooner. I'm still acclimating to the compiler, but feel free to feed my small tasks to get me going. Hopefully I'll be taking on something larger in due time!</p>



<a name="219384121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219384121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Eh2406 <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219384121">(Dec 09 2020 at 19:16)</a>:</h4>
<p>What is your background/interests?</p>



<a name="219384962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219384962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Eric Schirtzinger <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219384962">(Dec 09 2020 at 19:23)</a>:</h4>
<p>Completed my undergrad in Computer Science, my professional background is mostly systems-level software engineering focused in the realm of performance optimization and parallel batch processing. I've been interested in PL theory and compilers since school where I took Automata and PL theory courses. I haven't hacked on the Rust compiler yet, I'm looking to change that but want some direction prior to spinning my wheels. Not sure which wg is best suited for me, but I'm looking to contribute towards the type system.</p>



<a name="219385108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219385108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219385108">(Dec 09 2020 at 19:24)</a>:</h4>
<p>If you're interested in type system related things, the shared type library we've been working towards is probably interesting to you</p>



<a name="219385169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219385169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219385169">(Dec 09 2020 at 19:25)</a>:</h4>
<p>maybe chalk perf as well, right jack ?</p>



<a name="219385174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219385174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219385174">(Dec 09 2020 at 19:25)</a>:</h4>
<p>The idea is to eventually share a common type library between Chalk (which is a Prolog-ish solver of the Rust trait system) and rustc</p>



<a name="219385201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219385201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219385201">(Dec 09 2020 at 19:25)</a>:</h4>
<p>Oooh</p>



<a name="219385212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219385212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219385212">(Dec 09 2020 at 19:25)</a>:</h4>
<p>Missed that bit</p>



<a name="219385216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219385216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219385216">(Dec 09 2020 at 19:25)</a>:</h4>
<p>right :)</p>



<a name="219385269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219385269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219385269">(Dec 09 2020 at 19:25)</a>:</h4>
<p>But yeah, related to that, we really need to get some benchmarks and put a little love into Chalk's performance</p>



<a name="219386561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219386561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Eric Schirtzinger <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219386561">(Dec 09 2020 at 19:34)</a>:</h4>
<p>So I've read a few of Niko's posts on Chalk, a while back. Probably need to give them another read. I had used Prolog very briefly in a AI course. I recall deriving facts and something about reification, enough to see how it would be useful resolving types. It'd be great to take a deep dive into that. Both the shared library type and looking into performance both sound like great tasks to me.</p>



<a name="219391252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219391252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219391252">(Dec 09 2020 at 20:12)</a>:</h4>
<p>So, we don't have any perf-related plans for Chalk, but if that's something you're interested in exploring, maybe looking at the test suite would be a good start: <a href="https://github.com/rust-lang/chalk/tree/master/tests">https://github.com/rust-lang/chalk/tree/master/tests</a></p>



<a name="219391286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219391286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219391286">(Dec 09 2020 at 20:13)</a>:</h4>
<p>For type library, things are sort of spread out, but the latest "plans" are here: <a href="https://hackmd.io/vSz1MfmBSDSx5NkowiIUfQ">https://hackmd.io/vSz1MfmBSDSx5NkowiIUfQ</a></p>



<a name="219480914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219480914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Eric Schirtzinger <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219480914">(Dec 10 2020 at 14:43)</a>:</h4>
<p>Seeing as there is more vision behind the type library efforts, I think I'd want to start there. I see that "adopt rustc’s by-value design" (<a href="https://github.com/rust-lang/chalk/issues/642">https://github.com/rust-lang/chalk/issues/642</a>) is marked as a mentoring task, that seems to be a good place for me to start.</p>



<a name="219484759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219484759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219484759">(Dec 10 2020 at 15:10)</a>:</h4>
<p>That one is done though?</p>



<a name="219484860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219484860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219484860">(Dec 10 2020 at 15:11)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/518">chalk#518</a> would be an easy place to start</p>



<a name="219485096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219485096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Eric Schirtzinger <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219485096">(Dec 10 2020 at 15:12)</a>:</h4>
<p>Ah, I didn't notice that was closed in github. The hackmd document didn't have the check-mark by the bullet point.</p>



<a name="219485303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219485303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219485303">(Dec 10 2020 at 15:14)</a>:</h4>
<p>Oops, let me fix that</p>



<a name="219485308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Looking%20to%20get%20involved/near/219485308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Looking.20to.20get.20involved.html#219485308">(Dec 10 2020 at 15:14)</a>:</h4>
<p>Sorry!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>